The Tabular Method for Relational Documentation
نویسندگان
چکیده
منابع مشابه
Tabular Representations in Relational Documents
The use of relations, represented as tables, for documenting the requirements and behaviour of software is motivated and explained. A formal model of tabular expressions, defining the meaning of a large class of tabular forms, is presented. Finally, we discuss the transformation of tabular expressions from one form to another, and illustrate some useful transformations. 1 A Relational model of ...
متن کاملTabular Expressions and Their Relational Semantics
Tabular Expressions (Parnas et al. [20, 28, 32, 33]) are means to represent the complex relations that are used to specify or document software systems. A formal model and a semantics for tabular expressions are presented. The model covers most known types of tables used in software engineering, and admits precise classification and definition of new types of tables. The practical importance of...
متن کاملTowards a uniform relational semantics for tabular expressions
Parnas et al have proposed tabular expressions as a means to represent the complex rela tions that are used to specify or document software systems The idea is that a tabular expression is much easier to understand and verify than a long linear formula Tabular expressions are in tended to supplement not replace notations used by engineers They were found to be useful for describing large mathem...
متن کاملTabular Documentation of Interactive Deterministic Systems derived from Algebraic Models
Many reactive deterministic systems have a simple algebraic model consisting of a set S of states, a set C of commands the system may receive and a state transition function n : S C ! S that can be extended to operate over streams. We study decompositions of the state transition function using de nition-by-cases organised around mode sets and system actions. We show how these decompositions can...
متن کاملAn XML Viewer for Tabular Forms for Use with Mechanical Documentation
We deal with mechanical documentation in software development tools. First, we review tabular forms for program specification and their formal syntax by an attribute edNCE graph grammar. Next we explain a parser based on the syntactic definitions and attribute rules. Furthermore, we introduce an XML viewer for tabular forms based on the attribute graph grammar. Finally, we introduce a system st...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80930-7